Iterative binary search